70 ideas
7910 | Pursue truth with the urgency of someone whose clothes are on fire [Ashvaghosha] |
13252 | Some truths have true negations [Beall/Restall] |
13247 | A truthmaker is an object which entails a sentence [Beall/Restall] |
10688 | 'Equivocation' is when terms do not mean the same thing in premises and conclusion [Beall/Restall] |
13249 | (∀x)(A v B) |- (∀x)A v (∃x)B) is valid in classical logic but invalid intuitionistically [Beall/Restall] |
13243 | Excluded middle must be true for some situation, not for all situations [Beall/Restall] |
13245 | Relevant consequence says invalidity is the conclusion not being 'in' the premises [Beall/Restall] |
13246 | Relevant logic does not abandon classical logic [Beall/Restall] |
13254 | A doesn't imply A - that would be circular [Beall/Restall] |
13255 | Relevant logic may reject transitivity [Beall/Restall] |
13242 | It's 'relevantly' valid if all those situations make it true [Beall/Restall] |
13250 | Free logic terms aren't existential; classical is non-empty, with referring names [Beall/Restall] |
13235 | Logic studies consequence; logical truths are consequences of everything, or nothing [Beall/Restall] |
13238 | Syllogisms are only logic when they use variables, and not concrete terms [Beall/Restall] |
13234 | The view of logic as knowing a body of truths looks out-of-date [Beall/Restall] |
13232 | Logic studies arguments, not formal languages; this involves interpretations [Beall/Restall] |
10690 | Formal logic is invariant under permutations, or devoid of content, or gives the norms for thought [Beall/Restall] |
13241 | The model theory of classical predicate logic is mathematics [Beall/Restall] |
10691 | Logical consequence needs either proofs, or absence of counterexamples [Beall/Restall] |
13253 | There are several different consequence relations [Beall/Restall] |
13240 | A sentence follows from others if they always model it [Beall/Restall] |
10695 | Logical consequence is either necessary truth preservation, or preservation based on interpretation [Beall/Restall] |
10689 | A step is a 'material consequence' if we need contents as well as form [Beall/Restall] |
10696 | A 'logical truth' (or 'tautology', or 'theorem') follows from empty premises [Beall/Restall] |
13236 | Logical truth is much more important if mathematics rests on it, as logicism claims [Beall/Restall] |
10693 | Models are mathematical structures which interpret the non-logical primitives [Beall/Restall] |
13237 | Preface Paradox affirms and denies the conjunction of propositions in the book [Beall/Restall] |
10692 | Hilbert proofs have simple rules and complex axioms, and natural deduction is the opposite [Beall/Restall] |
16588 | I prefer a lack of form to mean non-existence, than to think of some quasi-existence [Augustine] |
22979 | Three main questions seem to be whether a thing is, what it is, and what sort it is [Augustine] |
13244 | Relevant necessity is always true for some situation (not all situations) [Beall/Restall] |
3912 | I must exist in order to be mistaken, so that even if I am mistaken, I can't be wrong about my own existence [Augustine] |
22167 | Our images of bodies are not produced by the bodies, but by our own minds [Augustine, by Aquinas] |
22117 | Our minds grasp reality by direct illumination (rather than abstraction from experience) [Augustine, by Matthews] |
22980 | Memory contains innumerable principles of maths, as well as past sense experiences [Augustine] |
22981 | Mind and memory are the same, as shown in 'bear it in mind' or 'it slipped from mind' [Augustine] |
22982 | Why does joy in my mind make me happy, but joy in my memory doesn't? [Augustine] |
22983 | We would avoid remembering sorrow or fear if that triggered the emotions afresh [Augustine] |
22977 | I can distinguish different smells even when I am not experiencing them [Augustine] |
22978 | Memory is so vast that I cannot recognise it as part of my mind [Augustine] |
22984 | Without memory I could not even speak of myself [Augustine] |
7906 | When the Buddha reached the highest level of insight, he could detect no self in the world [Ashvaghosha] |
5982 | If the future does not exist, how can prophets see it? [Augustine] |
6683 | The contact of spirit and body is utterly amazing, and incomprehensible [Augustine] |
13239 | Judgement is always predicating a property of a subject [Beall/Restall] |
22976 | Memories are preserved separately, according to category [Augustine] |
13248 | We can rest truth-conditions on situations, rather than on possible worlds [Beall/Restall] |
13233 | Propositions commit to content, and not to any way of spelling it out [Beall/Restall] |
22118 | Augustine created the modern concept of the will [Augustine, by Matthews] |
4348 | Love, and do what you will [Augustine] |
7821 | Pagans produced three hundred definitions of the highest good [Augustine, by Grayling] |
22985 | Everyone wants happiness [Augustine] |
22119 | Augustine said (unusually) that 'ought' does not imply 'can' [Augustine, by Matthews] |
22888 | To be aware of time it can only exist in the mind, as memory or anticipation [Augustine, by Bardon] |
5984 | Maybe time is an extension of the mind [Augustine] |
5980 | How can ten days ahead be a short time, if it doesn't exist? [Augustine] |
5979 | If the past is no longer, and the future is not yet, how can they exist? [Augustine] |
5981 | The whole of the current year is not present, so how can it exist? [Augustine] |
5978 | I know what time is, until someone asks me to explain it [Augustine] |
5983 | I disagree with the idea that time is nothing but cosmic movement [Augustine] |
5977 | Heaven and earth must be created, because they are subject to change [Augustine] |
16702 | All things are in the present time to God [Augustine] |
5976 | If God is outside time in eternity, can He hear prayers? [Augustine] |
22887 | If God existed before creation, why would a perfect being desire to change things? [Augustine, by Bardon] |
22116 | Augustine identified Donatism, Pelagianism and Manicheism as the main heresies [Augustine, by Matthews] |
7905 | The Buddha sought ultimate reality and the final goal of existence in his meditations [Ashvaghosha] |
7909 | The Eightfold Path concerns morality, wisdom, and tranquillity [Ashvaghosha] |
7904 | The first stage of trance is calm amidst applied and discursive thinking [Ashvaghosha] |
7908 | At the end of a saint, he is not located in space, but just ceases to be disturbed [Ashvaghosha] |
19338 | Augustine said evil does not really exist, and evil is a limitation in goodness [Augustine, by Perkins] |